VDict - Definition of Denotational Semantics Language

Computing (FOLDOC) dictionary

Denotational Semantics Language

Jump to user comments

specification, language (DSL) The specification language

used by the SIS compiler generator.

["SIS - Semantics Implementation System", P.D. Mosses, TR

DAIMI MD-30, Aarhus U, Denmark].

(1996-10-13)

Related search result for "Denotational Semantics Language"

Words contain "Denotational Semantics Language" in its definition in Computing (FOLDOC) dictionary:
semantics Denotational Semantics Language axiomatic semantics SMALL Quest DSL denotational semantics standard semantics operational semantics Computational Adequacy Theorem more...

Comments and discussion on the word "Denotational Semantics Language"